An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

A General Implementation Framework for Tabled CLP ⋆

Abstract. This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flexibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or failure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages

Safety of hospital discharge before return of bowel function after elective colorectal surgery

© 2020 BJS Society Ltd Published by John Wiley & Sons LtdBackground: Ileus is common after colorectal surgery and is associated with an increased risk of postoperative complications. Identifying features of normal bowel recovery and the appropriateness for hospital discharge is challenging. This study explored the safety of hospital discharge before the return of bowel function. Methods: A prospective, multicentre cohort study was undertaken across an international collaborative network. Adult patients undergoing elective colorectal resection between January and April 2018 were included. The main outcome of interest was readmission to hospital within 30 days of surgery. The impact of discharge timing according to the return of bowel function was explored using multivariable regression analysis. Other outcomes were postoperative complications within 30 days of surgery, measured using the Clavien–Dindo classification system. Results: A total of 3288 patients were included in the analysis, of whom 301 (9·2 per cent) were discharged before the return of bowel function. The median duration of hospital stay for patients discharged before and after return of bowel function was 5 (i.q.r. 4–7) and 7 (6–8) days respectively (P < 0·001). There were no significant differences in rates of readmission between these groups (6·6 versus 8·0 per cent; P = 0·499), and this remained the case after multivariable adjustment for baseline differences (odds ratio 0·90, 95 per cent c.i. 0·55 to 1·46; P = 0·659). Rates of postoperative complications were also similar in those discharged before versus after return of bowel function (minor: 34·7 versus 39·5 per cent; major 3·3 versus 3·4 per cent; P = 0·110). Conclusion: Discharge before return of bowel function after elective colorectal surgery appears to be safe in appropriately selected patients

Circulating microRNAs in sera correlate with soluble biomarkers of immune activation but do not predict mortality in ART treated individuals with HIV-1 infection: A case control study

10.1371/journal.pone.0139981PLoS ONE1010e013998